381. The metaphysics and mathematics of arbitrary objects /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,Mathematics-- Philosophy.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics),Abstraction.,Logic, Symbolic and mathematical.,Mathematical recreations.,MATHEMATICS-- Essays.,Mathematics-- Philosophy.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Metaphysics.,Probabilities-- Philosophy.,Random variables.,Variables (Mathematics)

رده :
QA8
.
4
.
H67
2019eb

382. The nature of mathematics

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica

رده :
QA9
.
B62
1959

383. The nature of mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)

موضوع : Mathematics- Philosophy,Logic, Symbolic and mathematical,Whitehead, Alfred North, 1861-1947. Principia mathematica,Russell, Bertrand, 1872-1970, joint author. Principia mathematica

رده :
QA9
.
B62
1934

384. The nature of mathematics : a critical survey

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)

موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
B62

385. The nature of mathematics : a critical survey

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Whitehead, Alfred North, 1681-7491. Principia mathematica,، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
9
.
B62
1959

386. The nature of mathematics : a critical survey

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical,، Whitehead, Alfred North, 1681-7491. Principia mathematica

رده :
QA
9
.
B54

387. The origin of the logic of symbolic mathematics

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Logic, Symbolic and mathematical. ; Mathematics ; Philosophy. ;

388. The origin of the logic of symbolic mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,Mathematics-- Philosophy

رده :
QA9
.
H66
2011

389. The road to universal logic :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical,History of Mathematical Sciences,Logic,Mathematical Logic and Foundations,Mathematics

رده :
QA9

390. The road to universal logic Festschrift for the 50th birthday of Jean-Yves Béziau.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic,Logic, Symbolic and mathematical,Mathematics

رده :
QA9
.
R63

391. The search for certainty : a philosophical account of foundations of mathematics

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Mathematics -- Philosophy,، Logic, Symbolic and mathematical

رده :
QA
8
.
4
.
G52S4

392. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : ، Mathematics -- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1949

393. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Mathematics-- Philosophy,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R412
1971

394. The theory of probability, an inquiry into the logical and mathematical foundations of the calculus of probability

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : philosophy ، Mathematics,، Probabilities,، Logic, Symbolic and mathematical

رده :
QA
9
.
R413

395. Theorems of the 21st century.

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Induction (Mathematics),Logic, Symbolic and mathematical.,Mathematics.,Induction (Mathematics),Logic, Symbolic and mathematical.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.

رده :
QA37
.
3

396. Theory of Finite and Infinite Graphs

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Combinatorics.,Logic, Symbolic and mathematical.,Mathematics.

397. Theory of formal systems /

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,Logic, Symbolic and mathematical.,Mathematics.,Recursive functions.,SCIENCE-- System Theory.

رده :
QA248
.
5

398. Thirty years of foundational studies; lectures on the development of mathematical logic and the study of the foundations of mathematics in 1930-1964

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)

موضوع : ، Logic, Symbolic and mathematical,، Mathematics-- Philosophy

رده :
B
28
.
F5
.
A3
Fasc
.
17

399. Toposes, Algebraic geometry and logic

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Nosa Detected Damaged Record #4254,Congresses ، Logic, Symbolic and mathematical

رده :
QA
3
.
L28
no
.
274

400. Toposes, algebraic geometry and logic

پدیدآورنده :

کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)

موضوع : Congresses ، Categories )Mathematics(,Congresses ، Geometry, Algebraic,Congresses ، Logic, Symbolic and mathematical,، Toposes

رده :
QA
169
.
T6
1972